Software Engineering Institute - PDFSEARCH.IO - Document Search Engine

Software Engineering Institute
Results: 1594

#	Item
441	Bare Blocks with a Thin Object Table: An Object Memory for Cola Ted Kaehler VPRI Memo Ma Viewpoints Research Institute, 1209 Grand Central Avenue, Glendale, CAt: (f: ( Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:14:35 Memory management Data types Object-oriented programming Primitive types Garbage collection Virtual method table Pointer Object New Computing Software engineering Computer programming
442	IntPatch: Automatically Fix Integer-Overﬂow-to-Buﬀer-Overﬂow Vulnerability at Compile-Time Chao Zhang, Tielei Wang, Tao Wei, Yu Chen, and Wei Zou Institute of Computer Science and Technology, Peking University Key Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:42:06 Computing Programming language theory Vulnerability LLVM Type system Social vulnerability Variable Type inference Pointer Type theory Data types Software engineering
443	Squeak Etoys Authoring & Media Alan Kay VPRI Research Note RNViewpoints Research Institute, 1209 Grand Central Avenue, Glendale, CAt: (f: ( Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:12:44 Visual programming languages Squeak Etoys Smalltalk Alan Kay Logo Croquet Project Balloon help Computing Software engineering Computer programming
444	Toward the Future of Personal Computing System Construction Yoshiki Ohshima Abstract for an invited talk Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:12:47 Turing Award laureates Alan Kay Viewpoints Research Institute Science Daniel Henry Holmes Ingalls Jr. Ambient intelligence J. C. R. Licklider Computing Etoys Software engineering
445	« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-01 14:30:35 Applied mathematics Knowledge Abstract interpretation Software engineering Formal verification Software verification Software development process Computer science System Science Formal methods Patrick Cousot
446	Nullness Analysis of Java Bytecode via Supercompilation over Abstract Values? Ilya G. Klyuchnikov JetBrains; Keldysh Institute of Applied Mathematics of RAS Abstract. Code inspections in the upcoming release of IntelliJ Add to Reading List Source URL: meta2014.pereslavl.ru Language: English - Date: 2014-06-15 20:00:00 Cross-platform software Java Null Pointer Bytecode C Parameter Assertion Computing Software engineering Computer programming
447	Abstract Interpretation–based Formal Verification of Complex Computer Systems Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-14 12:51:08 Contract law Patrick Cousot Abstract interpretation Computer arithmetic Printf format string Caron Implied warranty Floating point ALGOL 68 Software engineering Computing Computer programming
448	A Survey of Functional Reactive Programming Concepts, Implementations, Optimizations, and Applications Edward Amsden Rochester Institute of Technology Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2011-05-20 17:05:00 Functional programming Evaluation strategy Higher-order functions Functional reactive programming Reactive programming Map Orc Function composition ALGOL 68 Software engineering Computing Computer programming
449	Robert Stewart Distinguished Lecture Dr. David Parnas Precise Documentation: The Key to Better Software Thursday March 25, 2010 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-02-23 14:16:16 Science Engineering Parnas Software engineer Table Documentation Institute of Electrical and Electronics Engineers Avionics software David Parnas Technology Software engineering
450	SubSift web services and workflows for profiling and comparing scientists and their published works Simon Pricea,b,∗, Peter A. Flachb , Sebastian Spieglerb, Christopher Baileya , Nikki Rogersa a Institute b Intelligent Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:06:17 Systems engineering Software Representational state transfer Bookmark Workflow technology Computing Workflow

UPDATE